Computation tree logic

Results: 41



#Item
41Mathematical logic / Logic in computer science / Metalogic / CTL* / Computation tree logic / Model theory / Linear temporal logic / Well-formed formula / Kripke semantics / Logic / Temporal logic / Mathematics

PDF Document

Add to Reading List

Source URL: www.inf.unibz.it

Language: English - Date: 2011-03-21 04:39:41
UPDATE